📼 Tape Combinators

Sequential Programming Models, Linear Processing, Magnetic Computation, Storage Abstractions

The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
How much slower is random access, really?
samestep.com·1d·
Discuss: Hacker News
📼Tape Encoding
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·13h·
Discuss: DEV
🌊Stream Processing
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·27m
📊Graph Databases
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·18h
💾Persistence Strategies
Proving that every program halts
ntietz.com·2d
👑Isabelle
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·6h
⬆️Lambda Lifting
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·1d
⚡Modern Compression
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·4h·
Discuss: DEV
🧮Kolmogorov Complexity
Scaling Pinterest ML Infrastructure with Ray: From Training to End-to-End ML Pipelines
medium.com·22h·
Discuss: Hacker News
🧮Z3 Applications
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·10h
📐Compression Bounds
Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
arxiv.org·1d
📊Computational Geometry
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·13h·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·22h·
Discuss: Hacker News
💻Local LLMs
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·10h
💻Local LLMs
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing